یکی از مراحل تعیین مشخصات سیستم در گام تحلیل، تعیین رفتار سیستم می باشد که در این مرحله مشخص می شود چه اتفاقی باید در هر حالت سیستم رخ دهد. به همین منظور تحلیلگر در انتخاب زبان های صوری یا غیرصوری برای نشان دادن رفتار سیستم بر سر دو راهی قرار می-گیرد. پس از تصمیم گیری در استفاده از زبان های صوری یا غیرصوری، تحلیلگر برای تعیین مشخصات سیستم با توجه به نیازمندی های سیستم و قابلیت های زبان ها می با...

قرآن کریم سرچشمه تمام علوم اسلامی است که به زبان عربی کلاسیک نگاشته شده است و این در حالی است که در بهره برداری از متون قرآنی توانمندیهای بسیار بالای پردازش رایانه کمتر مورد توجه قرار گرفته است. بسامد وقوع گروههای اسمی در قرآن نسبت به سایر انواع کلمه بیشتر می باشد. در این میان اهمیت آگاهی از نقش اسم در درک آن بسیار حائز اهمیت است. در بین مطالعات انجام گرفته تاکنون تحقیقی که بیانگر دستوری صوری ب...

چکیده در این مقاله کتاب «جامعه­شناسی زبان (برنامه­ریزی زبان فارسی و نگرش­های زبانی)»، نوشته نگار داوری اردکانی با همکاری آذردخت جلیلیان، بررسی و نقد شده است. در این راستا، هم به ساختار و جنبه­های صوری کتاب و رعایت اصولِ پژوهش و نگارش علمی توجه شده، و هم به محتوای کتاب و آنچه در آن آمده است. به طور کلی می­توان گفت آن بخش­هایی از کتاب که حاصل و نتایج کارهای میدانی مولف اصلی آن را بیان می­کند، دارا...

جُستار حاضر به این اصل اساسی می­پردازد که در فرآیند ترجمه رابطه و پیوند زبان و معنا، چه رابطه و پیوندی است؟ به عبارتی آیا این زبان است که با ظرافت­های خاص، ابعاد و دایرۀ معانی را تعیین می­سازد یا اینکه زبان همچون مرکبی برای معانی به­شمار می­رود؟ در حوزۀ مطالعات ترجمه بحث­های فراوانی پیرامون ترجمۀ تحت­اللفظی، فرا تحت­اللفظی، ارتباطی، معنا گرا، آزاد و ... صورت گرفته است که هر کدام از منظری خاص، ت...

سامانه های اویونیک از نظر قابلیت اتکاپذیری جزو قابل اطمینان ترین تجهیزات الکترونیکی هستند. این سامانه ها در یک شبکه نسبتا پیچیده با سایر سامانه ها تعامل دارند و به صورت بلادرنگ وظایف محوله را اجرا می کنند. طراحی این سامانه ها از استخراج نیازمندی ها تا پیاده سازی و ارزیابی نهایی باید مطابق استانداردهای هوایی انجام شود به طوری که ضمن ارائه کارکردهای مورد نیاز، ایمنی سخت افزار و نرم افزار آن نیز ق...

مهم ترین پرسش در زمینه روش شناسی علوم اجتماعی یگانگی یا دوگانگی روش این علوم با روش علوم فیزیکی بوده است. یکی از روایت های متمایل به دوگانگی روش شناختی، روش استدلال در علوم اجتماعی را برهان طبیعی می شمارد. برهان طبیعی جایگاهی میان روش اقناع عرفی و و روش اثبات قانون وار دارد و بیش از فرمالیسم و زبان مصنوعی به زبان طبیعی متکی است. گفته می شود که علوم اجتماعی در چنین فضایی تحمل ابطال گرایی و قانون...

باتوجه به رشد روز افزون استفاده از سیستم های همروند، داشتن مدلی مناسب برای توصیف این گونه سیستم ها امری ضروری است. در این مقاله یک زبان مبتنی براکتور، که زبانی شیء بنیاد و همروند است انتخاب شده و معنای عملیاتی آن به شکل صوری در سیستم گذار پایه بیان گردیده است. به این ترتیب درک و استفاده از زبان و همچنین تشخیص هرگونه ناسازگاری و یا ابهام و نقص در آن آسان تر شده است. اشیا‎ء واکنشی مستقل از هم، اج...

اصواتی مثل «hmm»، «بله»، «جداً»، «mm» و... به کرات در گفتگوها شنیده می شوند، اما تاکنون در زبان فارسی بررسی نشده اند. این کلمات بر پیشبرد هرچه بهتر گفتگو تأثیر می گذارند. اهمیت نشانه های بازخوردی در زمان فقدان آنها فهمیده می شود. اگر نشانه های بازخوردی نا به جا به کار رود، در روند گفتگو اختلال ایجاد می کند، پس چشم پوشیدن از آنها در تحلیل گفتگوها باعث نادیده گرفتن بخش مهمی از تعاملات روزانه می شو...

هدف پژوهش حاضر دست یابی به دستور احتمالی زبان فارسی است. این دستور از نوع دستورهای صوری احتمالی بوده و از دیدگاه رایانشی از نوع دستورهای بافت آزاد واژگانی نشده است. بدیهی است زبان مانند هر پدیده یا رفتار پیچیده ی دیگر نیازمند نظام مولد منسجمی می باشد، که دست یابی به این نظام به منزله ی توانایی تولید و درک، رمزگذاری و رمزگشایی این پدیده است. روشن است نظام تولیدی یک پدیده لزوماً بر نظام خود آن پدی...